Axiomatising Dynamic Logics for Anaphora
نویسنده
چکیده
A new task put on the agenda of philosophical logic by the recent dynamic turn, the account for the dynamics of anaphoric context shifts in reasoning, is taken up. The paper gives a sequent axiomatisation of some well known dynamic anaphora logics. The calculi are shown to be sound and complete. They differ from earlier calculi for the dynamics of anaphoric context in that they take the notion of anaphoric context change from premiss to conclusion as starting point of the analysis, and they do not rely on an implicit translation to first order predicate logic. 1991 Mathematics Subject Classification: 03B65, 68Q55 1991 Computing Reviews Classification System: F.3.1, F.3.2, I.2.4, I.2.7
منابع مشابه
CANONICAL FORMULAS FOR k-POTENT COMMUTATIVE, INTEGRAL, RESIDUATED LATTICES
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Indeed, they provide a uniform and semantic way of axiomatising all extensions of intuitionistic logic and all modal logics above K4. Although the method originally hinged on the relational semantics of those logics, recently it has been completely recast in algebraic terms. In this new perspective canonical fo...
متن کاملAnaphora and Intensionality in Classical Logic
The dynamic per^)ective on natural language suggests that texts change the value o f contextual parameteis in much the way computer programs change the value o f program variables. One phenomenon where dynamic aspects emerge is that o f anaphora (introduction o f referents for later a n ^ h o ric links), but intensionality and tense are other candidate phenomena. However, most logics used in co...
متن کاملFraming the Donkey: Towards a Unification of Semantic Representations with Knowledge Representations
This paper proposes a new way of handling difficult cases of anaphora in language at the level of logical form. This includes donkey anaphora and references into script-like or frame-like knowledge. These cases of anaphora are important, since they occur in virtually every sentence expressing commonsense, general facts about the world the kinds of facts a language understanding or commonsense r...
متن کاملGentzen-type Refutation Systems for Three-Valued Logics
While the purpose of a conventional proof calculus is to axiomatise the set of valid sentences of a given logic, a refutation system, or complementary calculus, is concerned with axiomatising the invalid sentences. Instead of exhaustively searching for counter models for some sentence, refutation systems establish invalidity by deduction and thus in a purely syntactic way. Such systems are rele...
متن کاملOn axiomatising products of Kripke frames, part II
We generalise some results of [7, 5] and show that if L is an α-modal logic (for some ordinal α ≥ 3) such that (i) L contains the product logic K and (ii) the product of α-many trees of depth one and with arbitrary large finite branching is a frame for L, then any axiomatisation of L must contain infinitely many propositional variables. As a consequence we obtain that product logics like Kα, K4...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998